机译:保护您的匕首和踪迹:受保护(Co-)递归的属性
机译:防护立方类型理论:防护递归的路径相等
机译:PAINLEVÉ方程,拓扑型特性和拓扑递归的重建
机译:通过大小的类型守卫agda的递归
机译:用于光声痕量气体传感器建模的耦合方程组的解析解和微震源估计的全波形反演方法
机译:可积微分方程的有理递归运算符
机译:守护你的匕首和痕迹:关于守护(共同)递归的等式性质
机译:具有扰动的Korteweg-de Vries方程的painleve性质,Lax对,auto-Baecklund变换和递归算子